Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

Model-preference default theories

Рік:
1990
Мова:
english
Файл:
PDF, 1.87 MB
english, 1990
3

Hard problems for simple default logics

Рік:
1991
Мова:
english
Файл:
PDF, 1.72 MB
english, 1991
4

Horn approximations of empirical data

Рік:
1995
Мова:
english
Файл:
PDF, 1.23 MB
english, 1995
5

Learning and inferring transportation routines

Рік:
2007
Мова:
english
Файл:
PDF, 1.53 MB
english, 2007
9

The state of SAT

Рік:
2007
Мова:
english
Файл:
PDF, 202 KB
english, 2007
11

Preface: Volume 9

Рік:
2001
Мова:
english
Файл:
PDF, 26 KB
english, 2001
12

Auto-Walksat: A Self-Tuning Implementation of Walksat

Рік:
2001
Файл:
PDF, 484 KB
2001
14

Logicism is alive and well

Рік:
1987
Мова:
english
Файл:
PDF, 235 KB
english, 1987
15

Building Personal Maps from GPS Data

Рік:
2006
Мова:
english
Файл:
PDF, 4.55 MB
english, 2006
16

Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems

Рік:
2000
Мова:
english
Файл:
PDF, 359 KB
english, 2000
18

Knowledge compilation and theory approximation

Рік:
1996
Мова:
english
Файл:
PDF, 2.25 MB
english, 1996
19

Referral Web: combining social networks and collaborative filtering

Рік:
1997
Мова:
english
Файл:
PDF, 174 KB
english, 1997
20

Рік:
2009
Мова:
english
Файл:
PDF, 2.09 MB
english, 2009
22

Planning and Plan Recognition

Рік:
1988
Мова:
english
Файл:
PDF, 3.81 MB
english, 1988
25

Crowdsourcing medical expertise in near real time

Рік:
2014
Мова:
english
Файл:
PDF, 378 KB
english, 2014
31

Bottom-up design of software agents

Рік:
1994
Мова:
english
Файл:
PDF, 4.23 MB
english, 1994
44

Integer optimization models of AI planning problems

Рік:
2000
Мова:
english
Файл:
PDF, 345 KB
english, 2000
48

Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media

Рік:
2017
Мова:
english
Файл:
PDF, 2.12 MB
english, 2017